Existential Quantifier and Ontological Pluralism
نویسندگان
چکیده
منابع مشابه
Persistence and Ontological Pluralism
Consider Fritz, who is nowadays a happy resident of Saarbrücken. On sunny Saturdays, Fritz has the habit of barbecuing Bratwurst with his friends in his yard and going thereafter to his local, the Nächstestrasse Biergarten, ‘NB’ for short. Fritz may have a couple of beers while eating his Bratwurst at home, but nothing which compares to the amount he will drink thereafter at the beer garden. Th...
متن کاملLogic and Ontological Pluralism
According to ontological pluralism, there are different modes of being — different ways to exist. The view has been thought dead for a long time, destroyed by the Quinean doctrine that to be is to be needed as the value of a variable bound by an existential quantifier. Announcements of its death were premature. Ontological pluralism is consistent with the Quinean doctrine if there are multiple ...
متن کاملImproved Algorithms for Sign Determination and Existential Quantifier Elimination
Recently there has been a lot of activity in algorithms that work over real closed elds, and that perform such calculations as quanti er elimination or computing connected components of semi-algebraic sets. A cornerstone of this work is a symbolic sign determination algorithm due to Ben-Or, Kozen and Reif [2]. In this paper we describe a new sign determination method based on the earlier algori...
متن کاملOntological Query Answering with Existential Rules
The need for an ontological layer on top of data, associated with advanced reasoning mechanisms able to exploit the semantics encoded in ontologies, has been acknowledged both in the database and knowledge representation communities. We focus in this paper on the ontological query answering problem, which consists of querying data while taking ontological knowledge into account. To tackle this ...
متن کاملA new n-ary existential quantifier in description logics
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constructor, which generalizes both the usual existential restrictions and so-called qualified number restrictions. We show that the new constructor can be expressed in ALCQ, the extension of the basic DL ALC by qualified nu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Axiomathes
سال: 2019
ISSN: 1122-1151,1572-8390
DOI: 10.1007/s10516-019-09423-4